Nuprl Definition : cmseq-to
11,40
postcript
pdf
cmseq-to(
x
) == case
x
of config(
list
) =>
seq(
from
,
to
,
num
) =>
to
latex
Definitions
case
x
of config(
list
) =>
config
(
list
) seq(
from
,
to
,
num
) =>
seq
(
from
;
to
;
num
)
,
FDL editor aliases
cmseq-to
origin
seq(from,to,num) => to seq(from,to,num) => to